
obj-y +=addrspace.o
obj-y +=capability.o
obj-y +=cnode.o
obj-y +=endpoint.o
obj-y +=irq.o
obj-y +=notification.o
obj-y +=ram.o
obj-y +=task.o
obj-${CONFIG_FORWARD_SMC} += armsmc.o
obj-y +=mutex.o

